 Hao Wang, McNauohton R.
 Les systemes axiomatiques de la theorie des ensembles
 COLLECTION DE LOOIQUE MATHfiMATlQUE, SfiRIE.A. IV.
 Paris, Gauthier-Villars, 1953

   
  , . -
    
    .. 
   .. 
     1963

 :
       ,     -     .   ,               .         ,                  .
     ,     ,    .

     .

  :
    (5).
     (7).
   (8).
  I. .       (9).
  II.   (11).
  III.    (16).
  IV.    -  (21).
  V.     (25).
  VI.      (28).
  VII.   (33).
  (36).
   (45).
   (49).
    (51).
  ,   (51).
   (52).

    . -
    
  .. 
   

            
   
  .,  .    . . I. , 1957,   , 3,5 . .
 ո .        . , 1959,   , 6 . .
  ..    . , 1956,   , 7 . .
  .    . , 1957,   , 4 . .
  .     . , 1957,   , 5,7 . .
  ..  . , 1958,   , 8,4 . .
  .     . , 1956,   , 6 . .
  .       .  -  - , 1956'   , 7 . .
  .    .  - , 1957,   , 4 . .
  .  . . 1, , 1957,   , 6,1 . .
  .     . , 1960,   , 8 . 
  .     . , 1957,   , 5,3 . .
  ..  . , 1957,   , 7,9 . .
  ..   . , 1958,   , 11,2 . .
  .     . , 1957,   , 8,9 . .
  .,  .      .  ,   , 8,7 . .
 ˸ .        . , 1959,   , 6 . .
  .     .  , 7 . .
  .,  .,  .      . , 1959,   , 9,3 . .
   .   . , 1955,   , 13 . .
  ..    . , 1959,   . 10 . .

   
  .     .  -  - , 1958,   , 10 . .
 ո . ,   . , 1960,   , 5 . .
  .   . , 1960,   , 8 . .
  .  . , 1960,   , 5 . .
  .  . . II. , 1957,   , 5 . .
  .,  .    . . II. , 1960, 4 . .

   
  .,  .  . , 1960,   , 6 . .
  .  .  -  - , 1960,   , 9 . .
  -.         . , 1959,   , 7 . .